uint32 empty_uint32
